How to Upgrade Propositional Learners to First Order Logic: A Case Study

We describe a methodology for upgrading existing attribute value learners towards rst order logic. This method has several advantages: one can proot from existing research on propositional learners (and inherit its eeciency and eeectiveness), relational learners (and inherit its expressiveness) and PAC-learning (and inherit its theoretical basis). Moreover there is a clear relationship between the new relational system and its propositional counterpart. This makes the ILP system easy to use and understand by users familiar with the propositional counterpart. We demonstrate the methodology on the ICL system which is an upgrade of the propositional learner CN2. Abstract We describe a methodology for upgrading existing attribute value learners towards rst order logic. This method has several advantages: one can proot from existing research on propositional learners (and inherit its eeciency and eeectiveness), relational learners (and inherit its expressive-ness) and PAC-learning (and inherit its theoretical basis). Moreover there is a clear relationship between the new relational system and its proposi-tional counterpart. This makes the ILP system easy to use and understand by users familiar with the propositional counterpart. We demonstrate the methodology on the ICL system which is an upgrade of the propositional learner CN2.